Timing Analysis and Code Generation of Vehicle Control Software using Taxys
نویسندگان
چکیده
منابع مشابه
Ìüý× ×øøööð · Ãöóòó× Øóóð Óö Úöööýýòò Öööð¹øøññ Ôöóôöøøø× Óó Ñ ×ý×øøñ×
The goal of Taxys is to provide a framework for developing real-time embedded code and verifying its correct behavior with respect to quantitative timing requirements. To achieve so, Taxys connects France Telecom's Esterel compiler Saxo-rt with VERIMAG's model-checker Kronos. Taxys has been successfully applied on real industrial telecommunication systems, such as a GSM radio link from Alcatel ...
متن کاملVehicle Directional Stability Control Using Bifurcation Analysis of Yaw Rate Equilibrium
In this article, vehicle cornering stability and brake stabilization via bifurcation analysis has been investigated. In order to extract the governing equations of motion, a nonlinear four-wheeled vehicle model with two degrees of freedom has been developed. Using the continuation software package MatCont a stability analysis based on phase plane analysis and bifurcation of equilibrium is perfo...
متن کاملA Giotto-Based Helicopter Control System
We demonstrate the feasibility and benefits of Giotto-based control software development by reimplementing the autopilot system of an autonomously flying model helicopter. Giotto offers a clean separation between the platformindependent concerns of software functionality and I/O timing, and the platformdependent concerns of software scheduling and execution. Functionality code such as code comp...
متن کاملTAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
The paper presents a prototype of the Taxys tool developed within a collaboration between France Telecom R&D and VERIMAG. The connection of the Saxo-rt Esterel compiler and of the Kronos model-checker, together with on-the-fly techniques, brings up the possibility of verifying quantitative timing constraints on real industrial telecommunication systems, such as a GSM radio link and a phone prot...
متن کاملUsing UML 2.0 to Create Executable Code from Requirements Capture and Consistent Requirement Specifications for Real-Time Automotive Software Development
The development of vehicle control systems has evolved to become an exercise in the design and integration of complex, distributed hardware and software components. The various components are typically developed by geographically dispersed, multicultural teams from both OEMs and suppliers. This paper gives a brief overview of using the Unified Modelling Language (UML) as a means of capturing th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 55 شماره
صفحات -
تاریخ انتشار 2001